home *** CD-ROM | disk | FTP | other *** search
/ Turnbull China Bikeride / Turnbull China Bikeride - Disc 1.iso / ARGONET / PD / PROGRAMMING / LCLINT2.SPK / test / test_b / c / typequals < prev    next >
Text File  |  1996-08-28  |  259b  |  11 lines
  1. # include "tq.h"
  2.  
  3. void f (tam xtam, tai xtai, tm xtm, ti xti)
  4.    /*@modifies xtam, xtai, xtm, xti@*/
  5. {
  6.   *xtam = 3; /* 4. Operand of * is abstract type (tam): *xtam */
  7.   *xtai = 4; /* 5. Operand of * is abstract type (tai): *xtai */
  8.   *xtm = 5;
  9.   *xti = 8;
  10. }
  11.